formal method
英 [ˈfɔːml ˈmeθəd]
美 [ˈfɔːrml ˈmeθəd]
网络 形式化方法; 形式方法; 形式化; 形式演绎法; 正式方法
双语例句
- There has always been a need for a formal method to communicate this design, and a system to validate that communication.
但是通常情况下需要用一种正式的方式来传达这个设计，系统需要确认这个沟通。 - But even if you are not using a formal method that requires refactoring, Eclipse's refactoring tools provide a time-saving way to make common types of code changes.
但即便您并没有使用要求进行正式重构的方法，Eclipse的重构工具还是可以在进行一般的代码修改时提供节约时间的方法。 - Regardless, the practices can offer great dividends in quality, whether adopted on their own, or as part of a broader, more formal method adoption.
不论如何，操作都可以提供高质量高回报的软件，不管是否采用它们自己的方式，或者作为更广泛，更规范方法的一部分。 - If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.
如果为大型组织设计软件，则可能会有确定的以经过实践的非正式方式或强制的正式方式采用的标准方法。 - In the formal method, one would say," Please turn your attention to this over here. "
正式用语中，一个人会说：“请你注意我这边。” - Research on Some Key Technology of Software Testing Reuse Based on Formal Method
基于形式化的软件测试复用若干关键技术的研究 - Formal method of correspondence between man and universe in TCM theoretical modeling
中医理论建模的天人相应形式化方法 - Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing& modular monadic slicing.
因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法&模块单子切片。 - Model checking is a formal method for verifying the temporal logic properties of finite state systems.
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。 - Formal method of human behavioral modeling based on π-calculus
一种基于π演算的行为建模形式化方法 - This paper puts forward a Tree Generation Solution Based on Genericity ( TGSBG), including its design and implementation, and describes a tree generation algorithm about TGSBG with a formal method.
提出一种基于泛型技术的导航树生成策略（TGSBG）来改进传统解决方案，其中包括TGSBG的设计思想及业务模型，并给出TGSBG的树生成算法的形式化描述。 - Formal method describes the characters of a system with notations.
形式化方法使用数学符号来描述系统的性质，它具有精确性、无二义性和一致性等优点。 - Formal method is useful and important for researching complicated management systems.
形式化方法是研究复杂管理系统的有用工具。 - The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。 - The Research and Application of Software Architecture Based on UML and Formal Method
基于UML和形式化方法的软件体系结构研究与应用 - Formal method of product information modeling and reasoning was studied.
对产品信息建模和推理技术的形式化方法进行了研究。 - In this thesis, schematic summary about formal method is presented.
在本文中，我们首先对形式化方法作了一个概要的介绍。 - Formal method is based on the mathematics to describe the specification of hardware system and software system.
形式化方法是以数学为基础，来定义硬件系统和软件系统的规约，并对系统进行验证的语言、技术和工具。 - Study the method of verifying the safety protocol ( 1) Not formal method.
研究验证安全协议的方法（1）非形式化法。 - This paper further research the status and function of loop invariants in formal method.
进一步深入研究了循环不变式在算法程序形式化方法中的地位和作用； - Developing software using formal method can improve validity, efficiency and reliability of system.
用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。 - Formal method is a means to verify the reliability and safety of concurrent systems.
形式化方法是验证并发系统可靠性和安全性的一种手段。 - In this chapter, formal method is used to describe related content of process management.
采用形式化的方法对过程管理的有关内容进行描述。 - Formal method includes model checking, logic inference and theorem-proving.
常见的形式化方法有模型检测，逻辑推理以及定理证明。 - Formal method is an important software and protocol analysis and verification tools.
形式化方法作为一种重要的软件及协议的安全性分析工具，以其准确性的特点已成为检验网络协议安全性的重要途径。 - This dissertation proposes two methods for obtaining decision boundaries, the formal method and the sampling method.
提出了获取决策边界的形式化方法和采样法。 - A formal method of verifying designs with black boxes has been presented.
提出了一种针对包含黑盒电路的设计验证方法。 - Finite state machine is a typical formal method.
有穷状态机是一种典型的形式化方法，用于准确描述一个系统。 - Hence, research and application of formal method still confines in a very limited circle.
因此，形式化方法的研究和应用目前仍局限在较小的范围之内。 - Formal method is one of the major approaches to security protocol analysis.
形式化方法是安全协议分析的主要方法和可靠途径。